We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Turing degrees. As a corollary, we answer a question asked by A.S. Morozov in [Rigid constructive modules, Algebra and Logic, 28 570–583 ; 379–387 ].

Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$\omega $,$\zeta $, and$\eta $denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$\omega $. If$\mathcal {L}$is a computable copy of$\omega $that is computably isomorphic to the usual presentation of$\omega $, then every cohesive power of$\mathcal {L}$has order-type$\omega + (...) \zeta \eta $. However, there are computable copies of$\omega $, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$\omega + \zeta \eta $. For example, we show that there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \eta $. Our most general result is that if$X \subseteq \mathbb {N} \setminus \{0\}$is a Boolean combination of$\Sigma _2$sets, thought of as a set of finite order-types, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$, where$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$denotes the shuffle of the order-types inXand the order-type$\omega + \zeta \eta + \omega ^*$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X)$. (shrink)

Let I be a quasimaximal subset of a computable basis of the fully efective vector space V ∞ . We give a necessary and sufficient condition for the existence of an isomorphism between the principal filter respectivelly. We construct both quasimaximal sets that satisfy and quasimaximal sets that do not satisfy this condition. With the latter we obtain a negative answer to Question 5.4 posed by Downey and Remmel in [3].

Let I0 be a a computable basis of the fully effective vector space V∞ over the computable field F. Let I be a quasimaximal subset of I0 that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V,\uparrow )}$$\end{document} of V = cl(I) is isomorphic to the lattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}(n, \overline{F})}$$\end{document} of subspaces (...) of an n-dimensional space over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{F}}$$\end{document}, a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _{3}^{0}}$$\end{document} extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$$\end{document} is isomorphic to a principal filter of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{ L}^{\ast}(V_{\infty})}$$\end{document}. We thus answer Question 5.3 “What are the principal filters of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V_{\infty})?}$$\end{document} ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets. (shrink)

This review presents first ever literature survey on historical development of farm animal welfare indicators and assessment in the Danube region. This area, encompassing European Eastern countries and the Balkans, is to a large extent heterogeneous in terms of culture and language. However, international publications were disproportionally small compared to the amount of research institutions and animal welfare activities present in the region. Therefore, the authors aimed at investigating the published literature, focusing on country level and on native languages. Data (...) were collected for the 1980–2015 period referring to scientific papers published in international and national journals, papers and abstracts in proceedings of the international and national conferences, reviews, monographs, short communications, Ph.D., Master and Graduation theses. Welfare assessment of all farm animal species was observed including fish. Over 180 papers were in line with the preselected index. Data collected showed that publishing dynamics grew rapidly towards the last decade. Most of the studies were focused on animal welfare indicators such as stress, injuries and mutilations, behaviour, body condition and management practices. Cattle, chickens, pigs and sheep were the predominant species investigated. The study revealed that experts from the region were greatly involved in the studies of animal welfare indicators and assessment, contributing to development of the currently most widely used animal welfare assessment protocols, thus having an important role in animal welfare research and protection. (shrink)

In this paper I respond to Robert Taylor's argument that a Rawlsian framework does not support strong affirmative action programs. The paper makes three main arguments. The first disputes Taylor's claim that strong AA would not be needed in ideal conditions. Private racial discrimination, I suggest, might still exist in such conditions, so strong AA might be needed there. The second challenges Taylor's claims that pure procedural justice constrains Rawlsian nonideal theory. I argue that this rests on a fetishizing of (...) pure procedural justice that is absent from Rawls's work. I also show that a revised formulation of Taylor's concern here also fails. My third argument makes a positive Rawlsian case for strong AA in nonideal conditions that builds on a Taylor concession. Taylor suggests that the goal of nonideal theory is to create a world in which ideal theory can be applied. My argument begins by showing that another permissible goal of Rawlsian nonideal theory is to ameliorate injustice. I then argue that Rawls's contractualist framework supports the strongest forms of AA when category 3 interventions are blocked. (shrink)

Arabic literature; history and criticism.

I argue that an ambiguity exists between Philip Pettit's largely normative and Quentin Skinner's largely historical accounts of republican liberty. Historical republican liberty, as seen in Livy's narrative of the period following the expulsion of the Roman kings to the passage of the Licinian-Sextian laws, was largely defensive, in the form of the tribunate. Though republican liberty protected the plebeians from wanton patrician abuse, removing them from a formal dependence analogous to that of slave or child in Roman law, it (...) left them under the tutelage and guidance of a paternalistic order. Thus, while historical republican liberty was anti-patriarchal, it was normatively compatible with paternalism. Yet paternalism is probably undesirable for both normatively- and historically-minded advocates of republicanism. (shrink)

Guidelines for a model bride in Islam based on Islamic teachings; includes stories of six exemplary Muslim wives during Prophet Muhammad's time.

I welcome Mr Kennedy's general approach, but query whether the concept of consumerism is so closely applicable to medical care as he maintains. However, in particular aspects, especially the handling of complaints, his criticisms echo those made by the Patients Association. Finally, I detect some ground for hope in the more enlightened attitude creeping in to the eduction of the medical student.

Arab countries; intellectual life; 20th century.

The National Conference of Catholic Bishops has argued for significant government involvement in health care in order to assure respect for what they regard as the right to health care. Critics charge that the bishops are wrong because health care is not a right. In this article, it is argued that these critics are correct in their claim that health care is not a right. However, it is also argued that the premise that health care is not a right does (...) not imply that the market is the most equitable and just system for providing health care. Natural law arguments in the tradition of Roman Catholic social teaching lead to the conclusion that a just and prosperous society has a moral obligation to provide health care even if there is no such right. Further, there are strong moral grounds for concluding that the bishops are correct in their claim that health care ought not to be considered a market commodity. It is argued that if health care ought not to be considered a commodity, then national health insurance is the best available alternative for fulfilling the social obligation to distribute health care resources justly and fairly at this time in American history. The bishops' case for government involvement can be made on the strength of the Catholic tradition in theological argumentation, independent of the claim that health care is a right. (shrink)

In BioEssays, vol. I. no. 5, p. 227, P. A. Lawrence discussed the selector gene hypothesis and its implications for development. In the following article, D. Gubb presents an alternative view of the genetic control of development.

The German philosopher Robert Spaemann is one of the most important living thinkers in Europe today. This volume presents a selection of essays that span his career, from his first published academic essay on the origin of sociology to his more recent work in anthropology and the philosophy of religion. Spaemann is best known for his work on topical questions in ethics, politics, and education, but the light he casts on these questions derives from his more fundamental studies in metaphysics, (...) the philosophy of nature, anthropology, and the philosophy of religion. At the core of the essays contained in this book is the concept of nature and the notion of the human person. Both are best understood, according to Spaemann, in light of the metaphysics and anthropology found in the classical and Christian tradition, which provides an account of the intelligibility and integrity of things and beings in the world that safeguards their value against the modern threat of reductionism and fragmentation. A Robert Spaemann Reader shows that Spaemann's profound intellectual formation in this tradition yields penetrating insights into a wide range of subjects, including God, education, art, human action, freedom, evolution, politics, and human dignity. (shrink)